#include <stdio.h>
int main(int argc, char** argv) {
  int var;
  scanf("%d", &var);
  FILE *f = fopen("file1234", "w");
  fwrite(&var, sizeof(int), 1, f);
  fclose(f);
  return 0;
}
